2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Logic for Programming, Artificial Intelligence, and Reasoning
Автор:
Edmund M. Clarke
, Автор:
Andrei Voronkov
Категория:
Компьютеры
,
Программирование
Размер книги: 6.40 Mb
Model Checking
Автор:
Edmund M. Clarke Jr.
, Автор:
Orna Grumberg
, Автор:
Doron A. Peled
Размер книги: 2.13 Mb
Model checking
Автор:
Edmund M. Clarke Jr.
, Автор:
Orna Grumberg
, Автор:
Doron A. Peled
Категория:
Computer science
,
Algorithms
Размер книги: 1.88 Mb
Model checking
Автор:
Edmund M. Clarke Jr.
, Автор:
Orna Grumberg
, Автор:
Doron A. Peled
Размер книги: 3.22 Mb
Computer Aided Verification, 2 conf., CAV '90
Автор:
Edmund M. Clarke
, Автор:
Robert P. Kurshan
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.97 Mb
Understanding Corporate Pension Plans
Автор:
Edmund A. Mennis
, Автор:
Chester D. Clark
Размер книги: 2.69 Mb